TSTP Solution File: SEV168^5 by Refute---2015